@InProceedings{MacielVinCamMauAss:2017:SpInLo,
author = "Maciel, Adeline Marinho and Vinhas, Lubia and Camara, Gilberto and
Maus, Victor Wegner and Assis, Luiz Fernando Ferreira Gomes de",
affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)}",
title = "STILF - A spatiotemporal interval logic formalism for reasoning
about events in remote sensing data",
booktitle = "Anais...",
year = "2017",
editor = "Gherardi, Douglas Francisco Marcolino and Arag{\~a}o, Luiz
Eduardo Oliveira e Cruz de",
pages = "4558--4565",
organization = "Simp{\'o}sio Brasileiro de Sensoriamento Remoto, 18. (SBSR)",
publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
address = "S{\~a}o Jos{\'e} dos Campos",
abstract = "Although several studies perform time series analysis using remote
sensing data provided by Earth observation satellites, few have
been explored concerning the reasoning about land use change using
these data. Besides, exists the challenge of make the best use of
big Earth observation data sets to represent change. In this
context, this work presents a new formalism - STILF
(Spatiotemporal Interval Logic Formalism), and shows how to use it
for reasoning about land use change using big Earth observation
data. Extending the ideas from Allens interval temporal logic, we
introduce predicates holds(o, p, t) and occur(o, p, Te) to build a
general framework to reason about events. Events can be defined as
complete entities on their respective time intervals and their
lifetime is limited while objects persist in time, with a defined
begin and end. Since events are intrinsically related to the
objects they modify, a geospatial event formalism should specify
not only what happens, but also which objects are affected by such
changes. The formalism proposed and predicates extended from
Allens ideas can model and capture changes using big Earth
observation data, and also allows reasoning about land use
trajectories in regional or global areas. Examples for tropical
forest area application is presented to better understand our
proposal using STILF. For the future, the proposed formalism will
be include other temporal analysis tools to thinking about events
related the land use and cover change.",
conference-location = "Santos",
conference-year = "28-31 maio 2017",
isbn = "978-85-17-00088-1",
label = "59599",
language = "en",
organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
ibi = "8JMKD3MGP6W34M/3PSM3BH",
url = "http://urlib.net/ibi/8JMKD3MGP6W34M/3PSM3BH",
targetfile = "59599.pdf",
type = "Paisagens naturais",
urlaccessdate = "27 abr. 2024"
}